Relation Algebra Operations on Formal Contexts
نویسنده
چکیده
This paper discusses the use of relation algebra operations on formal contexts. These operations are a generalisation of some of the context operations that are described in the standard FCA textbook (Ganter & Wille, 1999). This paper extends previous research in this area with respect to applications and implementations. It also describes a software tool (FcaFlint) which in combination with FcaStone facilitates the application of relation algebra operations to contexts stored in many formats.
منابع مشابه
The FcaFlint Software for Relation Algebra Operations on FCA Contexts
FcaFlint is a tool that implements context operations for FCA formal contexts. It is part of the FcaStone package. This paper provides an introduction to Relation Algebra operations as used by FcaFlint and discusses the commandline interface and implementation details of FcaFlint.
متن کاملQuantifiers and Operations on Modalities and Contexts
We can reason about theories, as well as in them. Many natural phenomena can be captured by theories, often by introducing a modality, true just of the theory. Rather than treat these phenomena as the sentences true in this modality, we can treat the entire theory or modality as an object. This point of view was proposed by McCarthy, who proposed calling these reiied modalities contexts. Contex...
متن کاملAn FCA Interpretation of Relation Algebra
This paper discusses an interpretation of relation algebra and fork algebra with respect to FCA contexts. In this case, “relation algebra” refers to the DeMorgan-Peirce-Schroeder-Tarski algebra and not to the “relational algebra” as described by Codd. The goal of this interpretation is to provide an algebraic formalisation of object-relational databases that is based on binary relations and thu...
متن کاملQuantiiers and Operations on Modalities and Contexts 1 Putting Modalities Together 1.1 Modalities
We can reason about theories, as well as in them. Many natural phenomena can be captured by theories, often by introducing a modality, true just of the theory. Rather than treat these phenomena as the sentences true in this modality, we can treat the entire theory or modality as an object. This point of view was proposed by McCarthy, who proposed calling these reiied modalities contexts. Contex...
متن کاملA Complete Natural Deduction System for the Relational Calculus
A relational calculus is a formal system in which relation is the fundamental concept. The simplest relational calculus, that of ordinary binary relations, was introduced by Tarski in [4]. Tarski’s system is essentially an algebra in which the operations are the usual Boolean operations (on sets of ordered pairs) together with the two special operations converse (denoted byq) and composition (d...
متن کامل